This program focuses on the design, analysis, algorithmization, and implementation of methods for computer processing of mathematical models. Chương trình này tập trung vào thiết kế, phân tích, thuật toán hóa và thực hiện các phương pháp xử lý máy tính của các mô hình toán học.
Despite the high level of development of music theory, the process of creating music is still hard to formally algorithmize, since it is inseparably linked with the emotional experiences of the composer. Mặc dù lý thuyết âm nhạc đã đạt đến trình độ cao, việc thuật toán hóa quá trình sáng tác nhạc vẫn là rất khó khăn vì điều đó gắn liền chặt chẽ với đời sống tình cảm của tác giả.